Lamport, Leslie
Retrieve the information about Lamport, Leslie and his books on the go! Keep your project up to date with the ISBNdb book database searchable via API with 19 data points per book available.
Das Latex Handbuch
Latex
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
LaTeX: A Document Preparation System
The Latex Document Preparation System: User's Guide & Reference Manual
This is an excerpt from the ISBNdb database. Need more data? Get a FREE 7 day trial and get access to the full database of over 35 million books and all data points including title, author, publisher, publish date, binding, pages, list price, and more.
Get started Free